the integral representation of the factorial